\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> prec=30;
The precision has been set to 30 bits.
> prec=30!;
>  
\end{Verbatim}
\end{minipage}\end{center}
